We discuss the principles for a primitive, object-linguistic notion of consequence proposed by ) that yield a version of Curry’s paradox. We propose and study several strategies to weaken these principles and overcome paradox: all these strategies are based on the intuition that the object-linguistic consequence predicate internalizes whichever meta-linguistic notion of consequence we accept in the first place. To these solutions will correspond different conceptions of consequence. In one possible reading of these principles, they give rise to a notion (...) of logical consequence: we study the corresponding theory of validity by showing that it is conservative over a wide range of base theories: this result is achieved via a well-behaved form of local reduction. The theory of logical consequence is based on a restriction of the introduction rule for the consequence predicate. To unrestrictedly maintain this principle, we develop a conception of object-linguistic consequence, which we call grounded consequence, that displays a restriction of the structural rule of reflexivity. This construction is obtained by generalizing Saul Kripke’s inductive theory of truth. Grounded validity will be shown to satisfy several desirable principles for a naïve, self-applicable notion of consequence. (shrink)

Substructural logics and their application to logical and semantic paradoxes have been extensively studied. In the paper, we study theories of naïve consequence and truth based on a non-reflexive logic. We start by investigating the semantics and the proof-theory of a system based on schematic rules for object-linguistic consequence. We then develop a fully compositional theory of truth and consequence in our non-reflexive framework.

The original article was published without open access and with the copyright notice indicating © Springer Nature B.V. The article is now open access with the copyright residing with the authors.

In this paper we argue that Sen's defence of liberal democracy suffers from a moralistic and pro-liberal bias that renders it unable to take pluralism as seriously as it professes to do. That is because Sen’s commitment to respecting pluralism is not matched by his account of how to individuate the sorts of preferences that ought to be included in democratic deliberation. Our argument generalises as a critique of the two most common responses to the fact of pluralism in contemporary (...) (i.e. post-Rawls) liberalism: a broadly procedural understanding of autonomy and the idea of deliberative democracy. That is to say, the difficulties with pluralism we identify can be traced back to the particular version of Kantian deontology prevalent in contemporary liberalism, and to the equally prevalent aspiration to ground political legitimacy in a moralised consensus. (shrink)

A descriptive-exploratory analysis of assurance practices is presented in this paper, by analysing the patterns of sustainability assurance reporting in two national contexts with different levels of assurance activity over a period of 11 years. The study is based on theoretical insights drawn from institutional sociology and normativity production. It is framed both in the Italian situation, where assurance statements consistently include a narrow set of formal and procedural communications, and in an unsettled situation in the U.S., where assurance activity (...) is more incipient, but where experimentation in substantial assurance disclosure practices has more room to develop. Its main implication is that the diffusion of sustainability assurance and the creation of sustainability assurance disclosure norms are not without its cost: information quality does not increase with patterned practice. The results also point towards the noteworthy role of specific professionals in the earlier and later stages of assurance practice norms. They reveal a significant influence of non-Big4 firms in the diffusion of sustainability assurance disclosure norms. In contrast, the Big4 firms appear to be positively associated with the narrowing down of the assurance focus to a selected subset of this activity in later stages of the development of the assurance norm. In this regard, this study provides insight into the circumstantial—but relevant—carrier role of the Big4 firms in determining what “assurance” means. (shrink)

Substructural logics and their application to logical and semantic paradoxes have been extensively studied, but non-reflexive systems have been somewhat neglected. Here, we aim to fill this lacuna, at least in part, by presenting a non-reflexive logic and theory of naive consequence (and truth). We also investigate the semantics and the proof-theory of the system. Finally, we develop a compositional theory of truth (and consequence) in our non-reflexive framework.

Drawing on empirical evidence from history and anthropology, we aim to demonstrate that there is room for genealogical ideology critique within normative political theory. The test case is some libertarians’ use of folk notions of private property rights in defence of the legitimacy of capitalist states. Our genealogy of the notion of private property shows that asking whether a capitalist state can emerge without violations of self-ownership cannot help settling the question of its legitimacy, because the notion of private property (...) presupposed by that question is a product of the entity it is supposed to help legitimise: the state. We anchor our genealogical critique in recent work on ideology in epistemology and philosophy of language, and in current debates on the methodology of political theory. But, unlike more traditional approaches that aim to debunk whole concepts or even belief systems, we propose a more targeted, argument-specific form of ideology critique. (shrink)

When the language-dominant hemisphere is damaged by a focal lesion, the brain may reorganize the language network through functional and structural changes known as adaptive plasticity. Adaptive plasticity is documented for triggers including ischemic, tumoral, and epileptic focal lesions, with effects in clinical practice. Many questions remain regarding language plasticity. Different lesions may induce different patterns of reorganization depending on pathologic features, location in the brain, and timing of onset. Neuroimaging provides insights into language plasticity due to its non-invasiveness, ability (...) to image the whole brain, and large-scale implementation. This review provides an overview of language plasticity on MRI with insights for patient care. First, we describe the structural and functional language network as depicted by neuroimaging. Second, we explore language reorganization triggered by stroke, brain tumors, and epileptic lesions and analyze applications in clinical diagnosis and treatment planning. By comparing different focal lesions, we investigate determinants of language plasticity including lesion location and timing of onset, longitudinal evolution of reorganization, and the relationship between structural and functional changes. (shrink)

The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.

Introduction to the monographic section on contemporary analytic metaphysics.

O estudo analisa a compatibilidade das relações especiais de sujeição com os direitos fundamentais, examinando, em especial, o alcance da restrição à liberdade de expressão dos agentes públicos militares prevista no artigo 166 do Código Penal Militar. Defender-se-á que tal limitação justifica-se apenas quando efetivamente prevalentes interesses institucionais ou públicos, reforçando, assim, o sistema hierárquico e disciplinar com vistas à salvaguarda da própria sociedade. Para tanto, invoca-se a necessidade de utilização das técnicas da proporcionalidade e ponderação na análise casuística. Utiliza-se, (...) como substrato, o método hipotético-dedutivo e como fontes precípuas a revisão bibliográfica e as normas jurídicas afetas ao tema. (shrink)

Research in the History of Economic Thought and Methodology (RHETM) is a journal/book series dedicated to an interdisciplinary approach to a broad range of topics related to the history and methodology of economics. Volumes are divided into four parts: a monothematic section dedicated to research articles focused on a particular issue in the journal’s core fields of interest, a section including research articles of a more general nature, a section of newly-discovered archival materials, and a section of review essays on (...) new works in the history and methodology of economics. Founded by Warren Samuels in 1982, Research in the History of Economic Thought and Methodology is one of the oldest publication outlets in the fields of economic methodology and the history of economic thought. (shrink)

In this systematic review, we collected and analyzed literature works comparing self-reported fatigue and objectively-measured fatigue in individuals with cerebral palsy and in age-matched typically developing/typically developed controls. The search was conducted on four electronic databases/platforms using the key words “cerebral palsy” combined with “fatig*,” where the asterisk was used as a wildcard. As a critical appraisal tool, the Joanna Briggs Institute Critical Appraisal Checklist for Quasi-Experimental Studies was used. A total of 22 studies passed the critical appraisal rating and (...) were included in both narrative and quantitative analyses. The overall evidence quality of the findings was considered very good. Data of objectively-measured fatigue in performing maximal fatiguing tasks indicated lower fatigue levels in participants with CP, possibly due to their pathological inability to recruit highly fatigable muscle fibers. Highly trained individuals with CP and TD controls performing maximal fatiguing tasks seem to be an exception to this, as they exhibited similar levels of fatigue. In submaximal fatiguing tasks, including daily physical activities, either objectively-measured or self-reported fatigue was higher in participants with CP than in TD controls, indicating a lower ability for development of neurophysiological compensation for fatigue among participants with CP. Further studies on fatigue are needed to gain an insight into the multifold mechanisms of fatigue in individuals with CP. Understanding fatigue mechanisms could help in setting up strategies for effective intervention programs, with benefits in healthcare and improved quality of life of individuals with CP.Systematic Review Registration: [PROSPERO 2019], identifier [CRD42019143524]. (shrink)

A number of experiences have demonstrated how digital solutions are effective in improving quality of life (QoL) and health outcomes for older adults. Smart Health Age-Friendly Environments (SHAFE) is a new concept introduced in Europe since 2017 that combines the concept of Age-Friendly Environments with Information Technologies, supported by health and community care to improve the health and disease management of older adults and during the life-course. This chapter aims to provide an initial overview of the experiences available not only (...) in Europe, based on the research work of the participants of the International Interdisciplinary Network on Health and Well-being in an Age-Friendly Digital World (NET4Age-Friendly), which could be of interest to preventive, health and social authorities. The chapter reports good practices, pain points, and bottlenecks that may require a collaborative, interdisciplinary research approach to facilitate the transformations towards smart, sustainable, health and age-friendly cities and communities. (shrink)

Schaffer offers us in the last section of “On What Grounds What” (2009) an applied illustration of his allegedly Aristotelian metaontological position. According to this illustration, Schaffer’s metaontological position, supplemented with a few Aristotelian theses about substance and grounding, would converge in a view remarkably similar to his priority monism (Philosophical Studies, 145, 131–148, 2009b; Philosophical Review, 119, 31–76, 2010a), the view that there is one single fundamental substance. In this paper, I will argue against Schaffer’s suggestion that priority monism (...) represents a viable development of Aristotelian metaphysics. In particular, I will hold that the most plausible version of Schaffer’s priority monism by Aristotelian standards fails to satisfy basic Aristotelian tenets about dependence, composition, change, and persistence, and suggest that this is evidence that Aristotelians are more at home with a pluralism rather than a monism about substance. (shrink)

Según la caracterización extendida del debate entre endurantistas y perdurantistas, los objetos materiales persisten temporalmente o bien en virtud de estar totalmente presentes en distintos momentos de tiempo, o bien en virtud de poseer partes temporales en distintos momentos de tiempo. El presente artículo se propone realizar una defensa de la teoría endurantista de las objeciones presentadas por Barker y Dowe (2003; 2005) y Hofweber y Velleman (2011). Dichas objeciones intentan mostrar que el Endurantismo (i) supone lógicamente la tesis característica (...) de la teoría perdurantista y (ii) es internamente incoherente. En contra de estas objeciones, argumento que al menos en algunas de sus versiones, la teoría endurantista es perfectamente coherente y no supone ningún compromiso con la existencia de partes temporales. (shrink)

The Fregean-inspired Principle of Compositionality of Meaning for formal languages asserts that the meaning of a compound expression is analysable in terms of the meaning of its constituents, taking into account the mode in which these constituents are combined so as to form the compound expression. From a logical point of view, this amounts to prescribing a constraint—that may or may not be respected—on the internal mechanisms that build and give meaning to a given formal system. Within the domain of (...) formal semantics and of the structure of logical derivations, the PoC is often directly reflected by metaproperties such as truth-functionality and analyticity, characteristic of computationally well-behaved logical systems. (shrink)

In previous work, we introduced a version of distributed temporal logic that is well-suited both for verifying security protocols and as a metalogic for reasoning about, and relating, different security protocol models. In this paper, we formally investigate the relationship between our approach and strand spaces, which is one of the most successful and widespread formalisms for analyzing security protocols. We define translations between models in our logic and strand-space models of security protocols, and we compare the results obtained with (...) respect to the level of abstraction that is inherent in each of the formalisms. This allows us to clarify different aspects of strand spaces that are often left implicit, as well as pave the way to transfer results, techniques and tools across the two approaches. (shrink)

We present an extension of the mosaic method aimed at capturing many-dimensional modal logics. As a proof-of-concept, we define the method for logics arising from the combination of linear tense operators with an “orthogonal” S5-like modality. We show that the existence of a model for a given set of formulas is equivalent to the existence of a suitable set of partial models, called mosaics, and apply the technique not only in obtaining a proof of decidability and a proof of completeness (...) for the corresponding Hilbert-style axiomatization, but also in the development of a mosaic-based tableau system. We further consider extensions for dealing with the case when interactions between the two dimensions exist, thus covering a wide class of bundled Ockhamist branching-time logics, and present for them some partial results, such as a non-analytic version of the tableau system. (shrink)

Introduction:Episodic memory is a cognitive process that allows the recall of experiences, learning, and the pursuit of future goals. During the aging process, episodic memory declines negatively, impacting social and psychological aspects in the elderly. Such intervention strategies as cognitive training are non-pharmacological ways of reducing these losses.ObjectiveWe systematically reviewed studies of the cognitive training of episodic memory in healthy elderly individuals and elderly individuals with clinical conditions.MethodWe systematically searched the PubMed, PsycNET, Web of Science, and SciELO databases using the (...) descriptors “Episodic Memory” AND “Training” AND “Elderly” OR “Aging” OR “Dementia” in English and translated into Portuguese.ResultsOf the 572 articles that were identified by the search, 23 were included in the final analysis. The main variables that comprised the intervention protocols were investigated, as well as the outcome variables, efficacy, and risk of bias. The main results indicated effectiveness with regard to different forms of the cognitive training of episodic memory.ConclusionEpisodic memory training among the elderly can mitigate the negative effects of cognitive decline in dementia and healthy subjects promoting impacts at social, psychological, and economic levels. Although it is a widely studied topic, further empirical studies on the utility of episodic memory training in healthy elderly individuals and elderly individuals with clinical conditions are still needed. (shrink)

8 March, now known as International Women’s Day, is a day for feminist claims where demonstrations are organized in over 150 countries, with the participation of millions of women all around the world. These demonstrations can be viewed as collective rituals and thus focus attention on the processes that facilitate different psychosocial effects. This work aims to explore the mechanisms involved in participation in the demonstrations of 8 March 2020, collective and ritualized feminist actions, and their correlates associated with personal (...) well-being and collective well-being, collective efficacy and collective growth, and behavioral intention to support the fight for women’s rights. To this end, a cross-cultural study was conducted with the participation of 2,854 people from countries in Latin America and Europe, with a retrospective correlational cross-sectional design and a convenience sample. Participants were divided between demonstration participants and non-demonstrators or followers who monitored participants through the media and social networks. Compared with non-demonstrators and with males, female and non-binary gender respondents had greater scores in mechanisms and criterion variables. Further random-effects model meta-analyses revealed that the perceived emotional synchrony was consistently associated with more proximal mechanisms, as well as with criterion variables. Finally, sequential moderation analyses showed that proposed mechanisms successfully mediated the effects of participation on every criterion variable. These results indicate that participation in 8M marches and demonstrations can be analyzed through the literature on collective rituals. As such, collective participation implies positive outcomes both individually and collectively, which are further reinforced through key psychological mechanisms, in line with a Durkheimian approach to collective rituals. (shrink)

This study describes the weekly variations of well-being ratings relative to fatigue, stress, delayed-onset muscle soreness, sleep quality, and Hooper questionnaire throughout the season. In addition, the well-being variables for the playing position in different moments of the season were discussed. Twenty-one elite young soccer players U17 took part in this study. From the beginning of the pre-season, well-being status was monitored daily by the HQ method throughout 36 weeks, including four periods: pre-season, early-season, mid-season, and end-season. Players trained at (...) least 3 times per week throughout the season. The main outcome was that, in weeks 33 and 28, the highest [wFatigue: 15.85 ± 3.38 arbitrary units ; wHQ: 48.86 ± 9.23 AU] and the lowest wFatigue and wHQ occurred, respectively, although the lowest level of wDOMS happened in week 28, while the highest wDOMS was observed in week 5. The highest wSleep and wStress were observed in weeks 8 and 34, respectively, while the lowest wSleep and wStress were marked in week 29 coincidentally. In the HQ between every weekday, except recovery day, and the day of the match, considerable highest HQ was only revealed in 2 days after MD in contrast to overall team comparison. In the present study, we observed that the well-being changes between different phases of the season as well as between weeks and days of the week with the MD are significant. These results provide a great point of view for coaches and practitioners about well-being variations over a season in elite youth soccer level. As a result, coaches will be more aware about non-functional overreaching and taking measures to prevent it. (shrink)

Meeting 5G high bandwidth rates, ultra-low latencies, and high reliabilities requires of network infrastructures that automatically increase/decrease the resources based on their customers’ demand. An autonomous and dynamic management of a 5G network infrastructure represents a challenge, as any solution must account for the radio access network, data plane traffic, wavelength allocation, network slicing, and network functions’ orchestration. Furthermore, federation among administrative domains (ADs) must be considered in the network management. Given the increased dynamicity of 5G networks, artificial intelligence/machine learning (...) (AI/ML) solutions are strong candidates able to learn, and take quick provisioning decisions upon fast changes in network conditions. Therefore, this chapter presents an analysis of the state-of-the-art solutions for 5G networks’ management, where AI/ML solutions are discussed and compared with traditional methods. Additionally, the chapter provides a technology overview of both standards, and existing solutions regarding the 5G network management, and directions toward the integration of AI/ML in 5G networks. (shrink)